.function .tip{
    font-size:13px;
}